-
1 lambda expression
Большой англо-русский и русско-английский словарь > lambda expression
-
2 lambda expression
English-Russian dictionary of computer science and programming > lambda expression
-
3 alpha conversion
альфа-преобразование (в лямбда-исчислении - переименование формального параметра в абстрактную лямбда-структуру)Большой англо-русский и русско-английский словарь > alpha conversion
-
4 lambda expression
Вычислительная техника: лямбда-выражение (в лямбда-исчислении) -
5 alpha conversion
альфа-преобразование (в лямбда-исчислении - переименование формального параметра в абстрактную лямбда-структуру)English-Russian dictionary of computer science and programming > alpha conversion
-
6 alpha conversion
Программирование альфа-преобразование Переименование формального параметра в абстрактную лямбда-структуру (используется в лямбда-исчислении).English-Russian dictionary of computer abbreviations and terms > alpha conversion
-
7 Church - Rosser theorem
теорема Черча - Россера (в лямбда-исчислении)Большой англо-русский и русско-английский словарь > Church - Rosser theorem
-
8 beta reduction
English-Russian dictionary of computer science and programming > beta reduction
-
9 Church - Rosser theorem
English-Russian dictionary of computer science and programming > Church - Rosser theorem
-
10 Haskell
язык [функционального программирования] Haskellбазируется на лямбда-исчислении ( lambda calculus), поэтому греческая буква λ является его символом; поддерживает ленивые вычисления (lazy evaluation), полиморфизм типов и др. Назван в честь английского математика Хаскела Б. Карри (Haskell Brooks Curry), работы которого по математической логике стали основой для нового семейства языков функционального программирования. Первые версии Haskell были разработаны большой группой учёных в начале 1990-х годов. Наиболее полная реализация языка - Haskell 98.Haskell is not just a good 'teaching language'; it is a practical programming language, supported by having extensions such as interfaces to C functions and component-based programming, for example. - Haskell — не просто хороший "учебный язык"; это настоящий язык программирования, имеющий, в частности, такие средства поддержки и расширения, как интерфейс с функциями, написанными на Си, и возможности компонентно-ориентированного программирования см. тж. functional language, www. haskell. org
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Haskell
См. также в других словарях:
Лямбда (буква) — Греческий алфавит Α α альфа Β β бета … Википедия
Лямбда-исчисление — (λ исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… … Википедия
Лямбда — Греческий алфавит Αα Альфа Νν Ню … Википедия
Лямбда (символ) — Греческий алфавит Α α альфа Β β бета … Википедия
Лямбда исчисление — (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их… … Википедия
Λ — Греческий алфавит Α α альфа Β β бета … Википедия
Аппликативные вычислительные системы — Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда исчислении[1]. Единственное, что существенно разрабатывается в этих системах это представление об объекте. В… … Википедия
Аппликативный подход к программированию — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… … Википедия
Аппликативное программирование — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… … Википедия
Тип данных — (встречается также термин вид данных) фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям и, возможно, способ реализации хранения значений и… … Википедия
Валютный тип — Тип данных Содержание 1 История 2 Определение 3 Необходимость использования типов данных … Википедия